The No1 Ethical retailer for Books, CD’s, DVD’s & Games
30 Day Refund Guarantee

Buy Used and New Fabio Somenzi Books

Results for Fabio Somenzi

Showing 1 to 3 of 3 results
Abstraction Refinement for Large Scale Model Checking (Integrated Circuits and Systems) Abstraction Refinement for Large Scale Model Checking (Integrated Circuits and Systems) by Chao Wang, Gary D. Hachtel, Fabio Somenzi

Abstraction Refinement for Large Scale Model Checking (Integrated Circuits and Systems)

by Chao Wang, Gary D. Hachtel, Fabio Somenzi


ISBN 13: 9781489993953

Format: Paperback (196 pages)
Publisher: Springer
Published: 06 Dec 2014

Save for later

 
New : $104.01  
New : $104.01
Computer Aided Verification: 15th International Conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003, Proceedings: 2725 (Lecture Notes in Computer Science) Computer Aided Verification: 15th International Conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003, Proceedings: 2725 (Lecture Notes in Computer Science) by Fabio Somenzi, Jr. Hunt

Computer Aided Verification: 15th International Conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003, Proceedings: 2725 (Lecture Notes in Computer Science)

by Fabio Somenzi, Jr. Hunt


ISBN 13: 9783540405245

Format: Paperback (500 pages)
Publisher: Springer
Published: 13 Jun 2008

Save for later

 
New : $62.31  
New : $62.31
Logic Synthesis and Verification Algorithms Logic Synthesis and Verification Algorithms by Gary D. Hachtel,Fabio Somenzi

Logic Synthesis and Verification Algorithms

by Gary D. Hachtel,Fabio Somenzi


ISBN 13: 9781475770360

Format: Illustrated (596 pages)
Publisher: Springer
Published: 04 Oct 2013

Save for later

 
New : $81.66  
New : $81.66